During a conference entitled “_Un logicien consciencieux. La philosophie de Evert Willem Beth_,” held in Nancy in 1998 and published in this journal, volume 3, cahier 4 [Barth, Heinzmann _et al._ 1998-1999], the participants regretted that a reasoned biography of Beth was not available. In view of the efforts made since then in this direction, in particular by Paul van Ulsen in his PhD thesis in Dutch [2000], this article attempts to provide an overview of Beth’s work for a (...) broader community of philosophers of science. However, my focus is not so much on Beth’s widely discussed and important contributions to mathematical logic, where his most creative merits reside. My aim is to emphasize Beth’s philosophical and cultural background. Both are also discussed in the first two chapters of Ulsen’s thesis, which globally focuses on Beth’s work in logic. Of course, philosophical and scientific aspects cannot be systematically separated, but Beth’s influence on the philosophy of mathematics be... (shrink)

Inleidend studieboek op universitair niveau over de Nederlandse rechtswetenschap.

Inleiding, gebaseerd op een collegedictaat en een syllabus voor studenten aan de Economische hogeschool te Rotterdam.

The dichotomy between ‘typological thinking’ and ‘population thinking’ features in a range of debates in contemporary and historical biology. The origins of this dichotomy are often traced to Ernst Mayr, who is said to have coined it in the 1950s as a rhetorical device that could be used to shield the Modern Synthesis from attacks by the opponents of population biology. In this two-part essay I argue that the origins of the typology/population dichotomy are considerably more complicated and more interesting (...) than is commonly thought. In this first part, I will argue that Mayr's dichotomy was based on two distinct type/population contrasts that had been articulated much earlier by George Gaylord Simpson and Theodosius Dobzhansky. Their distinctions made eminent sense in their own, isolated contexts. In the second part, I will show how Mayr conflated these type/population distinctions and blended in some of his own, unrelated concerns with ‘types’ of a rather different sort. Although Mayr told his early critics that he was merely making “a temporary oversimplification,” he ended up burdening the history and philosophy of biology with a troubled dichotomy. (shrink)

Preparing words in speech production is normally a fast and accurate process. We generate them two or three per second in fluent conversation; and overtly naming a clear picture of an object can easily be initiated within 600 msec after picture onset. The underlying process, however, is exceedingly complex. The theory reviewed in this target article analyzes this process as staged and feedforward. After a first stage of conceptual preparation, word generation proceeds through lexical selection, morphological and phonological encoding, phonetic (...) encoding, and articulation itself. In addition, the speaker exerts some degree of output control, by monitoring of self-produced internal and overt speech. The core of the theory, ranging from lexical selection to the initiation of phonetic encoding, is captured in a computational model, called WEAVER++. Both the theory and the computational model have been developed in interaction with reaction time experiments, particularly in picture naming or related word production paradigms, with the aim of accounting for the real-time processing in normal word production. A comprehensive review of theory, model, and experiments is presented. The model can handle some of the main observations in the domain of speech errors (the major empirical domain for most other theories of lexical access), and the theory opens new ways of approaching the cerebral organization of speech production by way of high-temporal-resolution imaging. (shrink)

Consensus about a classification is defined as agreement on a set of classes and their relations for us in forming beliefs. While most research on scientific consensus has focused on consensus about a belief as a mark of truth, we highlight the importance of consensus in justifying shared classificatory language. What sort of consensus, if any, is the best basis for communicating and reasoning with scientific classifications? We describe an often-overlooked coordinative role for consensus that leverage agreement on how to (...) disagree such that actors involved can still achieve one or more shared aims even when they do not agree on shared beliefs or categories. Looking forward, we suggest that investigating structures and methods for coordinative consensus provides an important new direction for research on the epistemic foundations of knowledge organization. (shrink)

An influential species of evolutionary debunking argument against moral realism holds that since cumulative natural selection shaped the contents of our moral beliefs, those beliefs do not count as knowledge. Critics have taken issue with a range of empirical, epistemic, and metaphysical assumptions that EDAs are said to rely on, which has engendered a complex debate over whether and to what extent the debunking challenge succeeds. However, recently it has been argued that we can reject EDAs without having to enter (...) this thicket of issues. EDAs supposedly fail at the outset, by trading on a glaring misunderstanding about the scope of natural selection explanations. I argue that this objection to EDAs fails, and itself rests on a mistaken view of natural selection explanation and its relation to justification. (shrink)

We undeniably live in an information age—as, indeed, did those who lived before us. After all, as the cultural historian Robert Darnton pointed out: ‘every age was an age of information, each in its own way’ (Darnton 2000: 1). Darnton was referring to the news media, but his insight surely also applies to the sciences. The practices of acquiring, storing, labeling, organizing, retrieving, mobilizing, and integrating data about the natural world has always been an enabling aspect of scientific work. Natural (...) history and its descendant discipline of biological taxonomy are prime examples of sciences dedicated to creating and managing systems of ordering data. In some sense, the idea of biological taxonomy as an information science is commonplace. Perhaps it is because of its self-evidence that the information science perspective on taxonomy has not been a major theme in the history and philosophy of science. The botanist Vernon Heywood once pointed out that historians of biology, in their ‘preoccupation with the development of the sciences of botany and zoology… [have] diverted attention from the role of taxonomy as an information science’ (Heywood 1985: 11). More specifically, he argued that historians had failed to appreciate how principles and practices that can be traced to Linnaeus constituted ‘a change in the nature of taxonomy from a local or limited folk communication system and later a codified folk taxonomy to a formal system of information science [that] marked a watershed in the history of biology’ (ibid.). A similar observation could be made about twentieth-century philosophy of biology, which mostly skipped over practical and epistemic questions about information management in taxonomy. The taxonomic themes that featured in the emerging philosophy of biology literature in the second half of the twentieth century were predominantly metaphysical in orientation. This is illustrated by what has become known as the ‘essentialism story’: an account about the essentialist nature of pre- Darwinian taxonomy that used to be accepted by many historians and philosophers, and which stimulated efforts to document and interpret shifts in the metaphysical understanding of species and (natural) classification (Richards 2010; Winsor 2003; Wilkins 2009). Although contemporary debates in the philosophy of taxonomy have moved on, much discussion continues to focus on conceptual and metaphysical issues surrounding the nature of species and the principles of classification. Discussions centring on whether species are individuals, classes, or kinds have sprung up as predictably as perennials. Raucous debates have arisen even with the aim of accommodating the diversity of views: is monism, pluralism, or eliminativism about the species category the best position to take? In addition to these, our disciplines continue to interrogate what is the nature of these different approaches to classification: are they representational or inferential roles of different approaches to classification (evolutionary taxonomy, phenetics, phylogenetic systematics)? While there is still much to learn from these discussions—in which we both actively participate—our aim with this topical collection has been to seek different entrypoints and address underexposed themes in the history and philosophy of taxonomy. We believe that approaching taxonomy as an information science prompts new questions and can open up new philosophical vistas worth exploring. A twenty-first century information science turn in the history and philosophy of taxonomy is already underway. In scientific practice and in daily life it is hard to escape the imaginaries of Big Data and the constant threats of being ‘flooded with data’. In the life sciences, these developments are often associated with the socalled bioinformatics crisis that can hopefully be contained by a new, interdisciplinary breed of bioinformaticians. These new concepts, narratives, and developments surrounding the centrality of data and information systems in the biological and biomedical sciences have raised important philosophical questions about their challenges and implications. But historical perspectives are just as necessary to judge what makes our information age different from those that preceded us. Indeed, as the British zoologist Charles Godfray has often pointed out, the piles of data that are being generated in contemporary systematic biology have led to a second bioinformatics crisis, the first being the one that confronted Linnaeus in the mid-18th century (Godfray 2007). Although our aim is to clear a path for new discussions of taxonomy from an information science-informed point of view, we continue where others in the history, philosophy, and sociology of science have already trod. We believe that an appreciation of biological taxonomy as an information science raises many questions about the philosophical, theoretical, material, and practical aspects of the use and revision of biological nomenclatures in different local and global communities of scientists and citizen scientists. In particular, conceiving of taxonomy as an information science directs attention to the temporalities of managing an accumulating data about classified entities that are themselves subject to revision, to the means by which revision is accomplished, and to the semantic, material, and collaborative contexts that mediate the execution of revisions. (shrink)

Biological market theory has in recent years become an important part of the social evolutionist’s toolkit. This article discusses the explanatory potential and pitfalls of biological market theory in the context of big picture accounts of the evolution of human cooperation and morality. I begin by assessing an influential account that presents biological market dynamics as a key driver of the evolution of fairness norms in humans. I argue that this account is problematic for theoretical, empirical, and conceptual reasons. After (...) mapping the evidential and explanatory limits of biological market theory, I suggest that it can nevertheless fill a lacuna in an alternative account of hominin evolution. Trade on a biological marketplace can help explain why norm-based cooperation did not break down when our late-Pleistocene ancestors entered new, challenging social and economic environments. (shrink)

The collection and classification of data into meaningful categories is a key step in the process of knowledge making. In the life sciences, the design of data discovery and integration tools has relied on the premise that a formal classificatory system for expressing a body of data should be grounded in consensus definitions for classifications. On this approach, exemplified by the realist program of the Open Biomedical Ontologies Foundry, progress is maximized by grounding the representation and aggregation of data on (...) settled knowledge. We argue that historical practices in systematic biology provide an important and overlooked alternative approach to classifying and disseminating data, based on a principle of coordinative rather than definitional consensus. Systematists have developed a robust system for referring to taxonomic entities that can deliver high quality data discovery and integration without invoking consensus about reality or “settled” science. (shrink)

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science. In this paper we will do two things. First of all, we will propose a (...) general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)

Zuidema et al. illustrate how empirical AGL studies can benefit from computational models and techniques. Computational models can help clarifying theories, and thus in delineating research questions, but also in facilitating experimental design, stimulus generation, and data analysis. The authors show, with a series of examples, how computational modeling can be integrated with empirical AGL approaches, and how model selection techniques can indicate the most likely model to explain experimental outcomes.

Biological taxonomists rely on the so-called ‘type method’ to regulate taxonomic nomenclature. For each newfound taxon, they lay down a ‘type specimen’ that carries with it the name of the taxon it belongs to. Even if a taxon’s circumscription is unknown and/or subject to change, it remains a necessary truth that the taxon’s type specimen falls within its boundaries. Philosophers have noted some time ago that this naming practice is in line with the causal theory of reference and its central (...) notion of rigid designation: a type specimen fixes the reference of a taxon name without defining it. Recently, however, this consensus has come under pressure in the pages of this journal. In a series of articles by Alex Levine, Joseph LaPorte, and Matthew Haber, it has been argued that type specimens belong only contingently to their species, and that this may bode problems for the relation between type method and causal theory. I will argue that this ‘contingency debate’ is a debate gone wrong, and that none of the arguments in defense of contingency withstand scrutiny. Taxonomic naming is not out of step with the causal theory, but conforms to it. However, I will also argue that this observation is itself in need of further explanation, since application of the type method in taxonomic practice is plagued by errors and ambiguities that threaten it with breaking down. Thus, the real question becomes why taxonomic naming conforms to the causal theory in the first place. I will show that the answer lies in the embedding of the type method into elaborate codes of nomenclature. (shrink)

This paper concentrates on some aspects of the history of the analyticsynthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, (...) that is, within the Classical Model of Science: scientific knowledge as cognitio exprincipiis. But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. (shrink)

Evolutionary psychologists tend to view the mind as a large collection of evolved, functionally specialized mechanisms, or modules. Cosmides and Tooby (1994) have presented four arguments in favor of this model of the mind: the engineering argument, the error argument, the poverty of the stimulus argument, and combinatorial explosion. Fodor (2000) has discussed each of these four arguments and rejected them all. In the present paper, we present and discuss the arguments for and against the massive modularity hypothesis. We conclude (...) that Cosmides and Tooby's arguments have considerable force and are too easily dismissed by Fodor. (shrink)

‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension of early nineteenth (...) century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

Twaalf inheemse en religieuze leiders uit verschillende werelddelen spreken zich in dit boek uit over de heiligheid van de natuur. Hun eeuwenoude wijsheden inspireren ons om anders te gaan denken over onze omgang met alles wat leeft. Aan het woord komen de Groenlandse sjamaan Angakkorsuaq, de Amerikaanse indianenleider Chief Lane Jr., masaileider Mwarabu, de boeddhistische geestelijke Shih, de dichtende islamgeleerde Ur Rehman Chishti, orthodox rabbijn Slifkin, Maya-priester Sac Coyoy, hindoe-prins Jhala, Aztekenleider Sanchez, leider van de Canadese Bear Clan Wawatie, bisschop (...) Smeets van Roermond en theoloog Valerio van Rochester Cathedral. 0Oeroude natuurwijsheden uit alle streken! (shrink)

A review of Lycan's Book "Consciousness".

A brief "book note" on James O'Shea's "Wilfrid Sellars".

The is a reading of Hegel's chapter on teleology in the Science of Logic. It argues that inadequacies in the intentional model of teleology that dominated both pre-Kantian and Kantian thought about teleology force us to recognize a much more Aristotelian conception of natural teleology that must be presupposed to make sense of the teleology of intentions.

This paper discusses some of the anthropological andphilosophical features of the use of self-managementplans by patients with a chronic disease, focusing onpatients with asthma. Characteristics of thistechnologically mediated form of self-care arecontrasted with the work of Mauss and Foucault on bodytechniques and techniques of self. The similaritiesand differences between self-management of asthma andFoucault's technologies of self highlight some of theways in which self-management contributes tomodifications in the definitions of patients andphysicians. Patients, in measuring their lungfunction, first come to rely on (...) measurements more thanon felt disturbances, but next, felt disturbancesbecome modified by previous measurements. Physicians,on the other hand, see their role changed from expertto being a participant in a joint treatment. It isargued that the concept of agency is more appropriatefor describing the advantage of self-management forpatients than autonomy. (shrink)

Universities are occupied by management, a regime obsessed with ‘accountability’ through measurement, increased competition, efficiency, ‘excellence’, and misconceived economic salvation. Given the occupation’s absurd side-effects, we ask ourselves how management has succeeded in taking over our precious universities. An alternative vision for the academic future consists of a public university, more akin to a socially engaged knowledge commons than to a corporation. We suggest some provocative measures to bring about such a university. However, as management seems impervious to cogent arguments, (...) such changes can only happen if academics take action. Hence, we explore several strategies for a renewed university politics. (shrink)

We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.